The set of images of all elements of A, i.e., .